A sequence is convergent if and only if Cauchy